Stichworte: Total specialization rule